Implementation Independent Profiling of SDL Specifications
نویسندگان
چکیده
The Specification and Description Language (SDL) is a worldwide accepted standard for development of new protocols, e.g. an increasing number of IEEE protocol standards uses SDL. Especially for mobile devices it is important that the protocol implementation is as energy efficient as possible. This cannot be achieved with a straight forward code generation from SDL to a target language as for example C. Thus, the normal way is that after the specification is done, parts of the protocol are implemented by hand using C or even VHDL. In this paper we are presenting our profiling tool, profSDL, which is designed to support engineers in determining the partitioning of the SDL specification. profSDL allows to determine static effort and dynamic effort of the protocol under development. The dynamic effort can be assigned to the protocol itself as well as to the SDL runtime environment. We applied profSDL to a fully functional SDL model of IEEE802.11a. The design decisions indicated by profSDL matched exactly what the designers decided manually. The major benefit of profSDL is that it works on SDL level, so that the profiling results are independent of any potential implementation decision e.g. programming language features.
منابع مشابه
Automated Derivation of Efficient Implementations from SDL Specifications
Protocol implementations automatically derived from formal descriptions do not fulfill the performance requirements of most high-speed applications. On the other hand, automated implementation techniques may bring remarkable benefits for the quality of implementations. In the paper, we present an approach to automatically derive efficient implementations from SDL specifications. Our approach is...
متن کاملPerformance Evaluation of SDL/MSC-specified Systems
SDL and MSC are standardized specification techniques for the development of reactive realtime systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relatio...
متن کاملGenerating Mixed Hardware/Software Systems from SDL Specifications
A new approach for the translation of SDL specifications to a mixed hardware/software system is presented. Based on the computational model of communicating extended finite state machines (EFSM) the control flow is separated from data flow of the SDL process. Hence for the first time it is possible to generate a mixed hardware/software implementation of an SDL process. This technique also reduc...
متن کاملDerivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads
Implementations automatically derived from SDL descriptions often do not fulfill the performance requirements of performance-sensitive applications. In the paper, we describe how three different techniques mainly known from the manual implementation of protocol architectures can be applied to automatically derive efficient implementations from SDL specifications. The three techniques are data r...
متن کاملPerformance Analysis of Communication Systems Formally Specified in SDL
This paper first presents the SDL–oriented method of software design and then points out how to handle the non–functional, quantitative design of an SDL–system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET)1, is presented for the performance analysis of formally specified systems under real–time conditions. SPEET facilitates the simulation and emu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005